Beyond Design

#	Item
381	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-06-01 14:01:26 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
382	Beyond the monuments: a living heritage; UNESCO sources; Vol.:80; 1996 Add to Reading List Source URL: unesdoc.unesco.org Language: English - Date: 2006-12-11 01:22:39 Anthropology Cultural geography Cultural landscape Environmental design Landscape Landscape architecture Cultural heritage World Heritage Site Uluṟu-Kata Tjuṯa National Park Cultural studies Science Geography
383	PDF Document Add to Reading List Source URL: www.chi-athenaeum.org Language: English - Date: 2009-10-29 15:50:53 Good Design Awards Bulthaup Fuseproject Robert Bosch GmbH KartenDesign Designer Graphic design TEAMS Design Beyond Design Inc. Design Industrial design Technology